本文在阐述已有单机ＵＮＩＸ核心并化方法的基础上，介绍曙光一号共享存储多处理器系统运行的操作系统ＳＮＩＸ（ＳｙｍｍｅｔｒｉｃＵＮＩＸ）中基于全局数据依赖性统计的并行化方法......

本文对超立方体上路径算法的无死锁性问题进行了研究，提出了超立方体上的两类最小无死锁受限条件，证明了路径算法的无死锁和对称性两......